From: Hashem Nasarat <hnasarat@gmail.com>
Date: Tue, 29 Jan 2013 00:46:29 +0000 (-0500)
Subject: Remove gap between windows when switching workspaces
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~4803
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=dec0baa147003c534a08f5b9172d750ad8030604;p=gnome-shell.git

Remove gap between windows when switching workspaces

Previously there was a distracting gap between workspaces with two full-screen
applications.

https://bugzilla.gnome.org/show_bug.cgi?id=685849
---

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 1b6ccad35..c36ff4763 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -530,11 +530,11 @@ const WindowManager = new Lang.Class({
         if (direction == Meta.MotionDirection.UP ||
             direction == Meta.MotionDirection.UP_LEFT ||
             direction == Meta.MotionDirection.UP_RIGHT)
-                yDest = global.screen_height;
+                yDest = global.screen_height - Main.panel.actor.height;
         else if (direction == Meta.MotionDirection.DOWN ||
             direction == Meta.MotionDirection.DOWN_LEFT ||
             direction == Meta.MotionDirection.DOWN_RIGHT)
-                yDest = -global.screen_height;
+                yDest = -global.screen_height + Main.panel.actor.height;
 
         if (direction == Meta.MotionDirection.LEFT ||
             direction == Meta.MotionDirection.UP_LEFT ||